| Ident. | Authors (with country if any) | Title |
|---|
| 000793 |
Philippe De Groote [France] | Proof-Theoretic Aspects of the Lambek-Grishin Calculus |
| 000796 |
Philippe De Groote [France] | On Logical Relations and Conservativity |
| 000814 |
Philippe De Groote [France] | Abstract Categorial Parsing as Linear Logic Programming |
| 000873 |
Philippe De Groote [France] ; Yoad Winter [France] | A type-logical account of quantification in event semantics |
| 000894 |
Laurence Danlos [France] ; Philippe De Groote [France] ; Sylvain Pogodalla [France] | A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars |
| 001339 |
Philippe De Groote [France] ; Makoto Kanazawa | A Note on Intensionalization |
| 001C86 |
Philippe De Groote [France] ; Mark-Jan Nederhof | Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers |
| 001F52 |
Chris Blom ; Philippe De Groote [France] ; Yoad Winter ; Joost Zwarts | Implicit Arguments: Event Modification or Option Type Categories? |
| 002520 |
Philippe De Groote [France] ; Markus Egg ; Laura Kallmeyer | Formal Grammar, 14th International Conference, FG 2009, Revised Selected Papers |
| 002535 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] ; Carl Pollard [États-Unis] | About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar |
| 002A98 |
Philippe De Groote [France] ; Ekaterina Lebedeva [France] | Presupposition Accommodation as Exception Handling |
| 004652 |
Philippe De Groote [France] ; Sarah Maarek [France] | Type-theoretic extensions of Abstract Categorial Grammars |
| 004C14 |
Philippe De Groote [France] ; Sarah Maarek [France] ; Ryo Yoshinaka [France] | On Two Extensions of Abstract Categorial Grammars |
| 006614 |
Philippe De Groote [France] ; Sylvain Salvati [France] | Higher-order Matching in the Linear lambda-calculus with Pairing |
| 006754 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] | On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms |
| 006B91 |
Philippe De Groote [France] ; Sylvain Salvati [France] | Higher-Order Matching in the Linear λ -calculus with Pairing |
| 006C86 |
Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France] | Vector addition tree automata |
| 006D32 |
Philippe De Groote [France] ; Bruno Guillaume [France] ; Sylvain Salvati [France] | Vertor Addition Tree Automata |
| 007242 |
Philippe De Groote [France] ; Sylvain Pogodalla [France] | m-Linear Context-Free Rewriting Systems as Abstract Categorial Grammars |
| 007248 |
Sylvain Salvati [France] ; Philippe De Groote [France] | On the complexity of higher-order matching in the linear $\lambda$-calculus |
| 007A17 |
Sylvain Salvati [France] ; Philippe De Groote [France] | On the Complexity of Higher-Order Matching in the Linear λ-Calculus |
| 008829 |
Philippe De Groote [France] ; François Lamarche [France] | Classical Non-Associative Lambek Calculus |
| 008900 |
Philippe De Groote [France] | On the strong normalisation of intuitionistic natural deduction with permutation-conversions |
| 008C77 |
Philippe De Groote [France] | Towards abstract categorial grammars |
| 009276 |
Philippe De Groote [France] | Strong Normalization of Classical Natural Deduction with Disjunction |
| 009434 |
Philippe De Groote [France] | Towards abstract categorial grammars |
| 009564 |
Guillaume Bonfante [France] ; Philippe De Groote [France] | Stochastic Lambek Categorial Grammars |
| 009628 |
Philippe De Groote [France] ; Glyn Morrill ; Christian Retoré | Logical Aspects of Computational Linguistics |
| 009E42 |
Philippe De Groote [France] | Proof-Search in Implicative Linear Logic as a Matching Problem |
| 009E72 |
Philippe De Groote [France] | Linear Higher-Order Matching Is NP-Complete |
| 00A160 |
Philippe De Groote [France] | Proof-search in implicative linear logic as a matching problem |
| 00A172 |
Philippe De Groote [France] ; Catherine Pilière [France] | On the semantics of static exception handling |
| 00A191 |
Philippe De Groote [France] | Linear higher-order matching is NP-complete |
| 00A358 |
Philippe De Groote [France] | The Non-associative Lambek calculus with product in polynomial time |
| 00A857 |
Philippe De Groote [France] | An algebraic correctness criterion for intuitionistic multiplicative proof-nets |
| 00A919 |
Philippe De Groote [France] | The Non-associative Lambek Calculus with Product in Polynomial Time |
| 00A956 |
Philippe De Groote [France] | On the Strong Normalization of Natural Deduction with Permutation-Conversions |
| 00AA65 |
Philippe De Groote [France] | A Dynamic Programming Approach to Categorial Deduction |
| 00AC67 |
Philippe De Groote [France] ; Catherine Pilière [France] | On the semantics of static exception handling |
| 00AC69 |
Philippe De Groote [France] | On the Strong Normalisation of Natural Deduction with Permutation-Conversions |
| 00AD62 |
Philippe De Groote [France] | A dynamic programming approach to categorial deduction |
| 00AF08 |
Philippe De Groote [France] | An environment machine for the $\lambda\mu$-calculus |
| 00B405 |
Philippe De Groote [France] ; Guy Perrier [France] | A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic” |
| 00B482 |
Philippe De Groote [France] ; Catherine Pilière [France] | Preuve de confluence de $\lambda_{exn}$ |
| 00BC59 |
Denis Bechet [France] ; Philippe De Groote [France] | Constructing different phonological bracketings from a proof net |
| 00BC78 |
Philippe De Groote [France] | An algebraic correctness criterion for intuitionistic proof-nets |
| 00BC88 |
Denis Bechet [France] ; Philippe De Groote [France] ; Christian Retoré [France] | A complete axiomatisation for the inclusion of series-parallel partial orders |
| 00C153 |
Philippe De Groote [France] ; Christian Retoré [France] | On the semantic readings of proof-nets |
| 00C740 |
Philippe De Groote [France] | Linear logic with isabelle: Pruning the proof search tree |
| 00C793 |
Philippe De Groote [France] | A simple calculus of exception handling |
| 00CC83 |
Philippe De Groote [France] | Strong normalization in a non-deterministic typed lambda-calculus |
| 00CD06 |
Philippe De Groote [France] | On the relation between the λ μ -calculus and the syntactic theory of sequential control |
| 00CD68 |
Philippe De Groote [France] | A CPS-translation of the λμ-calculus |
| 00D202 |
Philippe De Groote [France] | Defining λ-typed λ-calculi by axiomatizing the typing relation |
